A Verification Strategy for Dependency Injection
نویسندگان
چکیده
منابع مشابه
Functional Dependency for Verification Reduction
The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal verification. Eliminating such dependency from the system compacts the state space and may significantly reduce the verification cost. Despite the importance, how to detect functional dependency without or before knowing the r...
متن کاملA Mechanical Model and its Experimental Verification for a Water Injection String in a Highly Deviated Well
Water injection strings in highly deviated wells are subjected to complex forces on the string bore. In this work, a mechanical model is developed for these forces and for those on downhole tools. On the basis of this model, and taking account of the characteristics of the string in different working conditions, a temperature field model and a pressure field model are introduced, and a statical...
متن کاملA Novel Control Strategy for a Single-phase Grid-connected Power Injection System
In this paper, a novel and simple control strategy, based on state feedback method is suggested to control the power injection system (PIS). The considered PIS is composed of, a DC voltage source, a voltage source inverter (VSI) and a L-C-L filter. The DC source includes the battery source with boosted voltage. The battery can be charged with photovoltaic cells. Since, the grid voltage acts as ...
متن کاملModification of piston bowl geometry and injection strategy, and investigation of EGR composition for a DME-burning direct injection engine
The amount of pollutant gases in the atmosphere has reached a critical state due to an increase in industrial development and the rapid growth of automobile industries that use fossil fuels. The combustion of fossil fuels produces harmful gases such as carbon dioxide, nitrogen monoxide (NO), soot, particulate matter (PM), etc. The use of Dimethyl Ether (DME) biofuel in diesel engines or other c...
متن کاملDependency Injection for Programming by Optimization
Programming by Optimization tools perform automatic software configuration according to the specification supplied by a software developer. Developers specify design spaces for program components, and the onerous task of determining which configuration best suits a given use case is determined using automated analysis tools and optimization heuristics. However, in current approaches to Programm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes on Software Engineering
سال: 2013
ISSN: 2301-3559
DOI: 10.7763/lnse.2013.v1.16